$\forall$${\it Cmd}$:Type, $x$:chain\_sys(${\it Cmd}$). csinput?($x$) $\in$ $\mathbb{B}$